Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
191	Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:10:58 Automated theorem proving Boolean algebra NP-complete problems Constraint programming Logic in computer science Boolean satisfiability problem Davis–Putnam algorithm Satisfiability Unit propagation Theoretical computer science Mathematics Computational complexity theory
192	Preferences in constraint satisfaction and optimization Francesca Rossi, K. Brent Venable, Toby Walsh Abstract We review constraint-based approaches to handle preferences. We start by defining the main notions of constra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-01-14 01:34:07 Artificial intelligence Constraint satisfaction Local consistency Constraint learning Constraint Multi-criteria decision analysis Mathematical optimization Hybrid algorithm Constraint optimization Constraint programming Software engineering Computer programming
193	AND/OR Cutset Conditioning Robert Mateescu and Rina Dechter School of Information and Computer Science University of California, Irvine, CA 92697 {mateescu, dechter}@ics.uci.edu Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:53:56 Search algorithms Mathematics Bayesian statistics Statistical models Hybrid algorithm Combinatorial optimization Feedback vertex set Connectivity A* search algorithm Constraint programming Graph theory Theoretical computer science
194	1997-Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-10 19:33:58 Quantum information science Constraint programming Quantum algorithm Quantum computer Search algorithm Quantum mechanics Algorithm Constraint satisfaction problem Matrix Applied mathematics Theoretical computer science Physics
195	Planning in Models that Combine Memory with Predictive Representations of State Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 01:12:22 Stochastic control Partially observable Markov decision process Markov decision process Markov model Dynamical system Reinforcement learning Pruning Linear programming Constraint algorithm Statistics Dynamic programming Markov processes
196	Filtering algorithms for the multiset ordering constraint Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-01-14 01:44:49 Constraint satisfaction problem Constraint inference Constructible universe Constraint satisfaction Constraint logic programming AC-3 algorithm Constraint programming Computing Local consistency
197	Configuration as Composite Constraint Satisfaction Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:10:36 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Constraint graph Mathematical optimization Search algorithm Constraint Decomposition method Constraint programming Software engineering Computer programming
198	Spacetime Constraints Andrew Witkin Michael Kass Schlumberger Palo Alto Research 3340 Hillview Avenue, Palo Alto, CA 94304 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-01-10 14:19:30 Numerical analysis Constraint optimization Lagrange multiplier Constraint Quadratic programming Optimal control Least squares Constraint algorithm Mathematical optimization Mathematical analysis Economics
199	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
200	Constraints[removed]:372–406 DOI[removed]s10601[removed]y New algorithms for max restricted path consistency Thanasis Balafoutis · Anastasia Paparrizou · Kostas Stergiou · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-11-10 00:37:14 Computing Local consistency Constraint satisfaction problem Decomposition method Constraint satisfaction Mathematical optimization Backtracking Algorithm AC-3 algorithm Constraint programming Software engineering Computer programming

UPDATE